On institutions for modular coalgebraic specifications

Modular Games for Coalgebraic Fixed Point Logics

We build on existing work on finitary modular coalgebraic logics [3,4], which we extend with general fixed points, including CTLand PDL-like fixed points, and modular evaluation games. These results are generalisations of their correspondents in the modal μ-calculus, as described e.g. in [19]. Inspired by recent work of Venema [21], we provide our logics with evaluation games that come equipped...

(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]...

On the Formal Specifications of Electronic Institutions

In this article we argue that open agent organisations can be effectively designed and implemented as institutionalized electronic organisations ('electronic institutions') composed of a vast amount of heterogeneous (human and software) agents playing different roles and interacting by means of speech acts. Here we take the view that the desing and development of electronic institutions must be...

Basic Inference Rules for Algebraic and Coalgebraic Specifications

Modular construction of complete coalgebraic logics

We present a modular approach to defining logics for a wide variety of state-based systems. The systems are modelled as coalgebras, and we use modal logics to specify their observable properties. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular fashion. Moreover, we show that the logics thus obtained inherit soundness, completeness a...